chore(deps-dev): Bump ty from 0.0.78 to 0.0.79 - #3610

Sourced from ty's releases.

0.0.79

Release Notes

Released on 2026-09-07.

Bug fixes

• Avoid dict keyword-call panics when typing is shadowed (#28292)
• Discover configs in models derived from legacy generic classes (#28397)
• Normalize recursive collection-use constraints (#28332)
• Recover cycles when constructing known class instances (#28289)

CLI

• Embed archive checksums in the shell installer (#4458)

Diagnostic improvements

• Add Literal fixes for diagnostics flagging invalid type annotations (#28185)
• Add await fixes for redundant conditions (#28169)
• Add assert_never fixes for redundant final elif branches (#28178)
• Add defensive assertion fallback for redundant elif fixes (#28179)
• Add rules to detect always-truthy and always-falsy conditions (#28034)
• Preserve deprecations on decorated callables (#28256)
• Require a direct dependency for reveal_type backport fixes (#28177)
• Suggest variable-length tuple annotations for redundant conditions (#28168)

Core type checking

• Align TypeIs and isinstance narrowing (#28193)
• Avoid falling back to Unknown when collecting type context constraints (#28297)
• Ensure f is identity(f) evaluates to Literal[True] (#28360)
• Fix callable specialization with union-valued ParamSpec (#28085)
• Infer variance through recursive protocols (#28077)
• Narrow types with ordered length comparisons (#28264)
• Preserve gradual type context during generic call inference (#28091)
• Preserve nominal subtyping for top-materialized protocols (#28271)
• Preserve outer type variables during ParamSpec inference (#28306)
• Preserve protocol intersections when narrowing gradual types (#28391)
• Promote literals in nested (non-covariant) positions (#28389)
• Reject missing attributes on type[] aliases (#28267)
• Solve formal unions using constraint-sets (#28312)
• Sync vendored typeshed stubs (#28331). Typeshed diff

Performance

• Avoid unnecessary work when building specializations (#28369)
• Bypass materialization queries for simple types (#28367)
• Cache exception suppression for context managers (#28376)
• Intern statement call predicates (#28373)

... (truncated)

Sourced from ty's changelog.

0.0.79

Released on 2026-09-07.

Bug fixes

• Avoid dict keyword-call panics when typing is shadowed (#28292)
• Discover configs in models derived from legacy generic classes (#28397)
• Normalize recursive collection-use constraints (#28332)
• Recover cycles when constructing known class instances (#28289)

CLI

• Embed archive checksums in the shell installer (#4458)

Diagnostic improvements

• Add Literal fixes for diagnostics flagging invalid type annotations (#28185)
• Add await fixes for redundant conditions (#28169)
• Add assert_never fixes for redundant final elif branches (#28178)
• Add defensive assertion fallback for redundant elif fixes (#28179)
• Add rules to detect always-truthy and always-falsy conditions (#28034)
• Preserve deprecations on decorated callables (#28256)
• Require a direct dependency for reveal_type backport fixes (#28177)
• Suggest variable-length tuple annotations for redundant conditions (#28168)

Core type checking

• Align TypeIs and isinstance narrowing (#28193)
• Avoid falling back to Unknown when collecting type context constraints (#28297)
• Ensure f is identity(f) evaluates to Literal[True] (#28360)
• Fix callable specialization with union-valued ParamSpec (#28085)
• Infer variance through recursive protocols (#28077)
• Narrow types with ordered length comparisons (#28264)
• Preserve gradual type context during generic call inference (#28091)
• Preserve nominal subtyping for top-materialized protocols (#28271)
• Preserve outer type variables during ParamSpec inference (#28306)
• Preserve protocol intersections when narrowing gradual types (#28391)
• Promote literals in nested (non-covariant) positions (#28389)
• Reject missing attributes on type[] aliases (#28267)
• Solve formal unions using constraint-sets (#28312)
• Sync vendored typeshed stubs (#28331). Typeshed diff

Performance

• Avoid unnecessary work when building specializations (#28369)
• Bypass materialization queries for simple types (#28367)
• Cache exception suppression for context managers (#28376)
• Intern statement call predicates (#28373)
• Lazily compute argument-context specializations (#28378)

... (truncated)

• b4cd792 Bump version to 0.0.79 (#4484)
• 52f2d5b Add a GitHub repository threat model for ty (#4481)
• fd0d789 Declare support for Python 3.15 (#4476)
• 7e7a87d Improve rooster-generated changelog sections (#4473)
• f862d1f Document mappings for new ty rules (#4475)
• 23fced1 Allow Ruff to format our docs examples (#4457)
• 3c907bc [ty] Embed archive checksums in the shell installer (#4458)
• 873885e [ty] Use the shared release smoke-test action (#4461)
• See full diff in compare view